Myrmica brevinodis var. transversinodis